首页> 外文OA文献 >Improving implementation of SLS solvers for SAT and new heuristics for k-SAT with long clauses

【2h】

Improving implementation of SLS solvers for SAT and new heuristics for k-SAT with long clauses

机译：改进saT的sLs求解器的实现和具有长子句的k-saT的新启发式

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Adrian Balint; Armin Biere;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Can rare SAT formulae be easily recognized? On the efficiency of message-passing algorithms for K-SAT at large clause-to-variable ratios [J] . Altarelli F, Monasson R, Zamponi F Journal of physics, A. Mathematical and theoretical . 2007,第5期

机译：难得的SAT公式容易识别吗？大子句-变量比下K-SAT消息传递算法的效率
2. Scoring Functions Based on Second Level Score for k-SAT with Long Clauses [J] . Cai S., Luo C., Su K. The Journal of Artificial Intelligence Research . 2014,第12期

机译：基于二级分数的k-SAT长子句评分函数
3. Scoring Functions Based on Second Level Score for k-SAT with Long Clauses [J] . Cai Shaowei, Luo Chuan, Su Kaile The Journal of Artificial Intelligence Research . 2014,第Null期

机译：基于二级分数的k-SAT长子句评分函数
4. Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses [C] . Adrian Balint, Armin Biere, Andreas Froehlich, . 2014

机译：改进了SAT的SLS解算器的实现以及带有长子句的k-SAT的新启发式方法
5. Efficient algorithms for clause-learning SAT solvers [D] . Ryan, Lawrence 2004

机译：用于子句学习SAT求解器的高效算法
6. The backtracking survey propagation algorithm for solving random K-SAT problems [O] . Raffaele Marino, Giorgio Parisi, Federico Ricci-Tersenghi -1

机译：解决随机K-SAT问题的回溯测量传播算法
7. Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers [O] . Liang, Jia Hui, Ganesh, Vijay, Zulkoski, Ed, 2015

机译：理解冲突驱动中的VsIDs分支启发式条款学习saT求解器

Improving implementation of SLS solvers for SAT and new heuristics for k-SAT with long clauses

著录项

引文网络

相似文献

相关主题

期刊订阅